Niven's prove of pi is irrational